

E ::= F E1

F ::= Num | Id


E1 ::= "+" E | Empty


